Grigori Perelman

Grigori Perelman
Born 13 June 1966 (1966-06-13) (age 44)
Leningrad, Russian SFSR, USSR
Fields Mathematics
Alma mater Leningrad State University
Doctoral advisor Aleksandr Aleksandrov
Yuri Burago
Known for Riemannian geometry and geometric topology
Notable awards Fields Medal (2006), declined
Millennium Prize (2010), declined

Grigori Yakovlevich Perelman (Russian: Григо́рий Я́ковлевич Перельма́н, English pronunciation: /ˈpɛrɨlmɑːn/ PERR-il-mahn; born on 13 June 1966), sometimes known as Grisha Perelman, is a Russian Jewish mathematician, who has made landmark contributions to Riemannian geometry and geometric topology. In particular, he proved Thurston's geometrization conjecture. This solves in the affirmative the Poincaré conjecture, posed in 1904, which before its solution was viewed as one of the most important and difficult open problems in topology.

In August 2006, Perelman was awarded the Fields Medal[1] for "his contributions to geometry and his revolutionary insights into the analytical and geometric structure of the Ricci flow". Perelman declined to accept the award or to appear at the congress. On 22 December 2006, the journal Science recognized Perelman's proof of the Poincaré conjecture as the scientific "Breakthrough of the Year", the first such recognition in the area of mathematics.[2] He has since ceased working on mathematics. On 18 March 2010, it was announced that he had met the criteria to receive the first Clay Millennium Prize Problems award[3] of US $1,000,000 for resolution of the Poincaré conjecture but on July 1, 2010 he turned down this one million dollar prize saying that he believes his contribution in proving the Poincare conjecture was no greater than that of U.S. mathematician Richard Hamilton, who first suggested a program for the solution.[4][5]

Contents

Early life and education

Grigori Perelman was born in Leningrad, USSR (now Saint Petersburg, Russia) on 13 June 1966, to Jewish[6] parents, Yakov (who now lives in Israel) and Ludmila.[6] His mother gave up graduate work in mathematics in order to raise him. His mathematical talent became apparent at the age of ten, and his mother enrolled him in Sergei Rushkin's after-school math training program.[7]

His mathematical education continued at the Leningrad Secondary School #239, a specialized school with advanced mathematics and physics programs. In 1982, as a member of the USSR team competing in the International Mathematical Olympiad, an international competition for high school students, he won a gold medal, achieving a perfect score.[8] In the late 1980s, Perelman went on to earn a Candidate of Science degree (the Soviet equivalent to the Ph.D.) at the Mathematics and Mechanics Faculty of the Leningrad State University, one of the leading universities in the former Soviet Union. His dissertation was titled "Saddle surfaces in Euclidean spaces".

After graduation, Perelman began work at the renowned Leningrad Department of Steklov Institute of Mathematics of the USSR Academy of Sciences, where his advisors were Aleksandr Aleksandrov and Yuri Burago. In the late 1980s and early 1990s, Perelman held research positions at several universities in the United States. In 1991, he spoke at the Geometry Festival on Alexandrov spaces with curvature bounded from below. In 1992, he was invited to spend a semester each at the Courant Institute in New York University and State University of New York at Stony Brook where he began work on manifolds with lower bounds on Ricci curvature. From there, he accepted a two-year Miller Research Fellowship at the University of California, Berkeley in 1993. After having proved the soul conjecture in 1994, he was offered jobs at several top universities in the US, including Princeton and Stanford, but he rejected them all and returned to the Steklov Institute in Saint Petersburg in the summer of 1995 for a research-only position.[7]

He has a younger sister, Elena, who is also a scientist. She received a Ph.D. from Weizmann Institute of Science in Israel and is a biostatistician at Karolinska Institutet, in Stockholm, Sweden.

Perelman is also a talented violinist and a strong table tennis player.[9]

Geometrization and Poincaré conjectures

Until the autumn of 2002, Perelman was best known for his work in comparison theorems in Riemannian geometry. Among his notable achievements was a short and elegant proof of the soul conjecture.

The problem

The Poincaré conjecture, proposed by French mathematician Henri Poincaré in 1904, was the most famous open problem in topology. Any loop on a three-dimensional sphere—as exemplified by the set of points at a distance of 1 from the origin in four-dimensional Euclidean space—can be contracted to a point. The Poincaré conjecture asserts that any closed three-dimensional manifold such that any loop can be contracted to a point is topologically a three-dimensional sphere. The analogous result has been known to be true in dimensions greater than or equal to five since 1960 (work of Stephen Smale). The four-dimensional case resisted longer, finally being solved in 1982 by Michael Freedman. But the case of three-manifolds had turned out to be the hardest of them all. Roughly speaking, this is because in topologically manipulating a three-manifold, there are too few dimensions to move "problematic regions" out of the way without interfering with something else.

In 1999, the Clay Mathematics Institute announced the Millennium Prize Problems: $1,000,000 prizes for the proof of any of seven conjectures, including the Poincaré conjecture. There was a wide agreement that a successful proof of any of these would constitute a landmark event in the history of mathematics.

Perelman's proof

In November 2002, Perelman posted the first[10] of a series[11][12] of eprints to the arXiv, in which he claimed to have outlined a proof of the geometrization conjecture, of which the Poincaré conjecture is a particular case.

Perelman modified Richard Hamilton's program for a proof of the conjecture, in which the central idea is the notion of the Ricci flow. Hamilton's basic idea is to formulate a "dynamical process" in which a given three-manifold is geometrically distorted, such that this distortion process is governed by a differential equation analogous to the heat equation. The heat equation describes the behavior of scalar quantities such as temperature; it ensures that concentrations of elevated temperature will spread out until a uniform temperature is achieved throughout an object. Similarly, the Ricci flow describes the behavior of a tensorial quantity, the Ricci curvature tensor. Hamilton's hope was that under the Ricci flow, concentrations of large curvature will spread out until a uniform curvature is achieved over the entire three-manifold. If so, if one starts with any three-manifold and lets the Ricci flow occur, eventually one should in principle obtain a kind of "normal form". According to William Thurston, this normal form must take one of a small number of possibilities, each having a different kind of geometry, called Thurston model geometries.

This is similar to formulating a dynamical process which gradually "perturbs" a given square matrix, and which is guaranteed to result after a finite time in its rational canonical form.

Hamilton's idea had attracted a great deal of attention, but no one could prove that the process would not be impeded by developing "singularities", until Perelman's eprints sketched a program for overcoming these obstacles. According to Perelman, a modification of the standard Ricci flow, called Ricci flow with surgery, can systematically excise singular regions as they develop, in a controlled way.

It is known that singularities (including those which occur, roughly speaking, after the flow has continued for an infinite amount of time) must occur in many cases. However, any singularity which develops in a finite time is essentially a "pinching" along certain spheres corresponding to the prime decomposition of the 3-manifold. Furthermore, any "infinite time" singularities result from certain collapsing pieces of the JSJ decomposition. Perelman's work proves this claim and thus proves the geometrization conjecture.

Verification

Since 2003, Perelman's program has attracted increasing attention from the mathematical community. In April 2003, he accepted an invitation to visit Massachusetts Institute of Technology, Princeton University, State University of New York at Stony Brook, Columbia University and New York University, where he gave a series of talks on his work.[13]

Three independent groups of scholars have verified that Perelman's papers contain all the essentials for a complete proof of the geometrization conjecture:

  1. On 25 May 2006, Bruce Kleiner and John Lott, both of the University of Michigan, posted a paper on arXiv that fills in the details of Perelman's proof of the Geometrization conjecture.[14] As John Lott said in ICM2006, "It has taken us some time to examine Perelman's work. This is partly due to the originality of Perelman's work and partly to the technical sophistication of his arguments. All indications are that his arguments are correct."
  2. In June 2006, the Asian Journal of Mathematics published a paper by Xi-Ping Zhu of Sun Yat-sen University in China and Huai-Dong Cao of Lehigh University in Pennsylvania, giving a complete description of Perelman's proof of the Poincaré and the geometrization conjectures. The June 2006 paper claimed to "This proof should be considered as the crowning achievement of the Hamilton-Perelman theory of Ricci flow."[15]
    1. In November 2006, Cao and Zhu published an erratum disclosing that they had failed to cite properly the previous work of Kleiner and Lott published in 2003. In the same issue, the AJM editorial board issued an apology for what it called "incautions" in the Cao–Zhu paper.[16]
    2. On December 3, 2006, Cao and Zhu retracted the original version of their paper, which was titled “A Complete Proof of the Poincaré and Geometrization Conjectures — Application of the Hamilton–Perelman Theory of the Ricci Flow”[17] and posted a revised version, renamed, more modestly, "Hamilton–Perelman's Proof of the Poincaré Conjecture and the Geometrization Conjecture".[18] Rather than the grand claim of the original abstract, "we give a complete proof", suggesting the proof is by the authors, the revised abstract states: "we give a detailed exposition of a complete proof". The authors also removed the phrase "crowning achievement" from the abstract.
  3. In July 2006, John Morgan of Columbia University and Gang Tian of the Massachusetts Institute of Technology posted a paper on the arXiv titled, "Ricci Flow and the Poincaré Conjecture". In this paper, they provide a detailed version of Perelman's proof of the Poincaré conjecture.[19] On 24 August 2006, Morgan delivered a lecture at the ICM in Madrid on the Poincaré conjecture.[20] This was followed up with the paper on the arXiv, "Completion of the Proof of the Geometrization Conjecture" on 24 September 2008.[21]

Nigel Hitchin, professor of mathematics at Oxford University, has said that "I think for many months or even years now people have been saying they were convinced by the argument. I think it's a done deal."[22]

The Fields Medal and Millennium Prize

In May 2006, a committee of nine mathematicians voted to award Perelman a Fields Medal for his work on the Poincaré conjecture.[13] The Fields Medal is the highest award in mathematics; two to four medals are awarded every four years.

Sir John Ball, president of the International Mathematical Union, approached Perelman in Saint Petersburg in June 2006 to persuade him to accept the prize. After 10 hours of persuasion over two days, Ball gave up. Two weeks later, Perelman summed up the conversation as follows: "He proposed to me three alternatives: accept and come; accept and don't come, and we will send you the medal later; third, I don't accept the prize. From the very beginning, I told him I have chosen the third one… [the prize] was completely irrelevant for me. Everybody understood that if the proof is correct, then no other recognition is needed."[13] "'I'm not interested in money or fame,' he is quoted to have said at the time. 'I don't want to be on display like an animal in a zoo. I'm not a hero of mathematics. I'm not even that successful; that is why I don't want to have everybody looking at me.'"[23]

On 22 August 2006, Perelman was publicly offered the medal at the International Congress of Mathematicians in Madrid "for his contributions to geometry and his revolutionary insights into the analytical and geometric structure of the Ricci flow."[24] He did not attend the ceremony, and declined to accept the medal, making him the first person to decline this prestigious prize.[25][26]

He had previously turned down a prestigious prize from the European Mathematical Society,[26] allegedly saying that he felt the prize committee was unqualified to assess his work, even positively.[22]

On 18 March 2010, Perelman was awarded a Millennium Prize for solving the problem.[27] On June 8, 2010, he did not attend a ceremony in his honor at the Institut Océanographique, Paris to accept his $1 million prize.[28] According to Interfax, Perelman refused to accept the Millennium prize in July 2010. He considered the decision of Clay Institute unfair for not sharing the prize with Richard Hamilton,[4] and stated that "the main reason is my disagreement with the organized mathematical community. I don't like their decisions, I consider them unjust."[5]

Terence Tao spoke about Perelman's work on the Poincaré Conjecture during the 2006 Fields Medal Event:[29]

They [the Millennium Prize Problems] are like these huge cliff walls, with no obvious hand holds. I have no idea how to get to the top. [Perelman's proof of the Poincaré Conjecture] is a fantastic achievement, the most deserving of all of us here in my opinion. Most of the time in mathematics you look at something that's already been done, take a problem and focus on that. But here, the sheer number of breakthroughs...well it's amazing.

Perelman's proof was rated one of the top cited articles in Math-Physics in 2008.[30]

Withdrawal from mathematics

As of the spring of 2003, Perelman no longer worked at the Steklov Institute.[9] His friends are said to have stated that he currently finds mathematics a painful topic to discuss; some even say that he has abandoned mathematics entirely.[31] According to a 2006 interview, Perelman was then unemployed, living with his mother in Saint Petersburg.[9]

Perelman is quoted in an article in The New Yorker saying that he is disappointed with the ethical standards of the field of mathematics. The article implies that Perelman refers particularly to the efforts of Fields medalist Shing-Tung Yau to downplay Perelman's role in the proof and play up the work of Cao and Zhu. Perelman added, "I can't say I'm outraged. Other people do worse. Of course, there are many mathematicians who are more or less honest. But almost all of them are conformists. They are more or less honest, but they tolerate those who are not honest."[13] He has also said that "It is not people who break ethical standards who are regarded as aliens. It is people like me who are isolated."[13]

This, combined with the possibility of being awarded a Fields medal, led him to quit professional mathematics. He has said that "As long as I was not conspicuous, I had a choice. Either to make some ugly thing or, if I didn't do this kind of thing, to be treated as a pet. Now, when I become a very conspicuous person, I cannot stay a pet and say nothing. That is why I had to quit." (The New Yorker authors explained Perelman's reference to "some ugly thing" as "a fuss" on Perelman's part about the ethical breaches he perceived).[32]

Bibliography

Dissertation
Research papers
Proof of the geometrization conjecture
Books about Perelman

See also

Notes

  1. "Fields Medals 2006". International Mathematical Union (IMU) - Prizes. http://www.mathunion.org/general/prizes/2006/. Retrieved 2006-04-30. 
  2. Dana Mackenzie (2006). "BREAKTHROUGH OF THE YEAR. The Poincaré Conjecture—Proved". Science 314 (5807): 1848–1849. doi:10.1126/science.314.5807.1848. PMID 17185565. 
  3. "The Poincaré Conjecture". http://www.claymath.org/poincare/index.html. 
  4. 4.0 4.1 Последнее "нет" доктора Перельмана, Interfax 1 July 2010
  5. 5.0 5.1 Malcolm Ritter (2010-07-01). "Russian mathematician rejects $1 million prize". AP on Yahoo! News. http://news.yahoo.com/s/ap/20100701/ap_on_sc/eu_sci_russia_math_genius. Retrieved 2010-07-01. 
  6. 6.0 6.1 Osborn, Andrew (2010-03-27). "Russian maths genius may turn down $1m prize". The Daily Telegraph. http://www.telegraph.co.uk/news/worldnews/europe/russia/7530771/Russian-maths-genius-may-turn-down-1m-prize.html. Retrieved 2010-07-02. "He has suffered anti-Semitism (he is Jewish)... Grigory is pure Jewish and I never minded that but my bosses did." 
  7. 7.0 7.1 John Allen Paulos (29 April 2010). "He Conquered the Conjecture". The New York Review of Books. http://www.nybooks.com/articles/23863 
  8. http://www.imo-official.org/participant_r.aspx?id=10481
  9. 9.0 9.1 9.2 Lobastova and Hirsh
  10. Perelman, Grisha (11 November 2002). The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159. 
  11. Perelman, Grisha (10 March 2003). Ricci flow with surgery on three-manifolds. arXiv:math.DG/0303109. 
  12. Perelman, Grisha (17 July 2003). Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. arXiv:math.DG/0307245. 
  13. 13.0 13.1 13.2 13.3 13.4 Nasar, Sylvia; Gruber, David (21 August 2006). "Manifold Destiny: A legendary problem and the battle over who solved it.". The New Yorker. http://www.newyorker.com/fact/content/articles/060828fa_fact2. Retrieved 2006-08-24. 
  14. Bruce Kleiner, John Lott Notes on Perelman's papers Geometry & Topology 12 (2008) 2587–2855, doi:10.2140/gt.2008.12.2587, arXiv:math/0605667
  15. Asian Journal of Mathematics Volume 10, Number 2 Cao and Zhu.
  16. Cao, Huai-Dong; Zhu, Xi-Ping (2006). "Erratum to “A complete proof of the Poincaré and geometrization conjectures — application of the Hamilton–Perelman theory of the Ricci flow”, Asian J. Math., Vol. 10, No. 2, 165-492, 2006". Asian Journal of Mathematics 10 (4): 663–664. MR2282358. http://www.intlpress.com/AJM/AJM-v10.php#AJM-10-4. 
  17. Cao, Huai-Dong; Zhu, Xi-Ping (2006). "A complete proof of the Poincaré and geometrization conjectures — application of the Hamilton–Perelman theory of the Ricci flow". Asian Journal of Mathematics 10 (2): 165–492. MR2233789. http://www.intlpress.com/AJM/AJM-v10.php#AJM-10-2. 
  18. Cao, Huai-Dong and Zhu, Xi-Ping (December 3, 2006). "Hamilton–Perelman's Proof of the Poincaré Conjecture and the Geometrization Conjecture". arXiv.org. http://arxiv.org/abs/math.DG/0612069. 
  19. John W. Morgan, Gang Tian Ricci Flow and the Poincaré Conjecture arXiv:math/0607607
  20. "Schedule of the scientific program of the ICM 2006". Icm2006.org. http://icm2006.org/v_f/web_fr.php. Retrieved 2010-03-21. 
  21. John W. Morgan, Gang Tian Completion of the Proof of the Geometrization Conjecture arXiv:0809.4040v1
  22. 22.0 22.1 Randerson.
  23. http://news.bbc.co.uk/2/hi/europe/8585407.stm
  24. "Fields Medal - Grigory Perelman" (PDF). International Congress of Mathematicians 2006. 22 August 2006. http://www.icm2006.org/dailynews/fields_perelman_info_en.pdf. 
  25. Mullins.
  26. 26.0 26.1 "Maths genius declines top prize". BBC News. 22 August 2006. http://news.bbc.co.uk/2/hi/science/nature/5274040.stm. 
  27. Clay Mathematics Institute (March 18, 2010). "Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman" (PDF). Press release. http://www.claymath.org/poincare/millenniumPrizeFull.pdf. Retrieved March 18, 2010. "The Clay Mathematics Institute (CMI) announces today that Dr. Grigoriy Perelman of St. Petersburg, Russia, is the recipient of the Millennium Prize for resolution of the Poincaré conjecture." 
  28. . 2010-06-08. http://en.rian.ru/strange/20100608/159350481.html. Retrieved 2010-06-08. 
  29. Published: 9:04AM Wednesday August 23, 2006 (2006-08-23). "Reclusive maths genius shuns top prize". Tvnz.co.nz. http://tvnz.co.nz/view/page/411366/819541. Retrieved 2010-03-21. 
  30. "Top Cited Articles in 2008". Slac.stanford.edu. 2009-01-12. http://www.slac.stanford.edu/spires/topcites/2008/eprints/by_math-ph_annual.shtml. Retrieved 2010-03-21. 
  31. "Главные новости". Top.rbc.ru. http://top.rbc.ru/society/22/08/2006/94703.shtml. Retrieved 2010-03-21. 
  32. Nasar, Sylvia; Gruber, David (21 August 2006). "Manifold Destiny: A legendary problem and the battle over who solved it.". The New Yorker: p. 11. http://www.newyorker.com/archive/2006/08/28/060828fa_fact2?currentPage=11. Retrieved 2006-08-24. 

References

External links